Buy Used and New Huibiao Zhu Books

Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday (Lecture Notes in Computer Science)

by Zhiming Liu,Jim Woodcock,Huibiao Zhu

ISBN 13: 9783642396977

Format: Paperback (428 pages)
Publisher: Springer
Published: 31 Jul 2013

Save for later

Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, ... 8050 (Lecture Notes in Computer Science)

by Zhiming Liu, Jim Woodcock, Huibiao Zhu

ISBN 13: 9783642397202

Format: Paperback (296 pages)
Publisher: Springer
Published: 19 Jul 2013

Save for later

Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers: 10134 (Lecture Notes in Computer Science)

by Jonathan P. Bowen,Huibiao Zhu

ISBN 13: 9783319522272

Format: Paperback (228 pages)
Publisher: Springer
Published: 11 Jan 2017

Save for later